31.5 VMM SETUP & TEAR DOWN
31.5 VMM SETUP & TEAR DOWN (initializeとfinalizeについて)
Initialize (VMX root operation modeへの移行)
VMXサポートしているかCPUID命令でみる
VMXON regionを作る
4-Kbyte alinedである必要がある
物理メモリで連続している必要がある
VMCSと構成は同じ
VMXON regionの初期化
指定の場所にVMCS revision idを書き込む
revision id は capability MSR にある
CPUのモードを指定のものにする
CR0.PE = 1, CR0.PG =1 にする
その他についてはIA32_VMX_CR0_FIXED0, IA32_VMX_CR0_FIXED1
VMX operationを有効にする
CR4.VMXE = 1にする
基本的にBIOSでされている
VMXON 命令を実行する
引数はVMXON regionの物理メモリアドレス
成功したかチェック
VMXON命令が成功していれば,RFLAGS.CF = 0 となる
Finalize
VMXOFFの実行
実行後RFLAGS.CF = 0 ,RFLAGS.ZF = 0と成っていた場合成功